sets and logic